✅ Archive Proofs

Preservation Logic, Storage Verification, Formal Archival, Durability Mathematics

IETF Draft: Authenticated Transfer Repo and Sync Specification
ietf.org·6h·
Discuss: Hacker News
🌳Archive Merkle Trees
Preserving the digital legacy of company archives: Last stop, Newhaven.
dpconline.org·9h
💾Data Preservation
What is Algebraic about Algebraic Effects?
interjectedfuture.com·1h
✨Algebraic Effects
Designing Scalable Data Architectures for AI
dev.to·8h·
Discuss: DEV
🌊Stream Processing
Topological Sort: Managing Mutable Structures in Haskell
mmhaskell.com·8h
🔗Topological Sorting
Fastest copy
forums.anandtech.com·52m
📄Document Digitization
Balance between refactoring and inheritance in your code
github.com·5h·
Discuss: Hacker News
✅Format Verification
Data destruction done wrong could cost your company millions
theregister.com·1d·
Discuss: Hacker News
🛡️Preservation Proofs
Is a memory palace actually useful? It helped me memorize the first 20 digits of pi
theguardian.com·56m
🧪Cassette Hacks
A Dumb Introduction to z3. Exploring the world of constraint solvers with very simple examples.
asibahi.github.io·19h·
Discuss: Hacker News, r/programming, r/rust
🧮Z3 Solver
Semantic Dictionary Encoding
falvotech.com·2h·
Discuss: Hacker News
🌀Brotli Dictionary
OTW - Bandit Level 4 to Level 5
tbhaxor.com·11h
🔧KAITAI
Sprites mods - Hard disk hacking - Intro
web.archive.org·3h
🎮Cartridge Archaeology
PostgreSQL partitioning, logical replication and other Q&A about PostgreSQL Superpowers
architecture-weekly.com·6h·
Discuss: r/programming
🗄️PostgreSQL WAL
Sound Statistical Model Checking for Probabilities and Expected Rewards (extended version)
arxiv.org·13h
🎯Performance Proofs
Expect HDD, SSD shortages as AI rewrites the rules of storage hierarchy — multiple companies announce price hikes, too
tomshardware.com·1h
💿Disk Geometry
You can't test if quantum uses complex numbers
algassert.com·5h·
Discuss: Hacker News
🔐Quantum Security
Building software that survives contact with reality
complexsystemspodcast.com·1d·
Discuss: Hacker News
💾Persistence Strategies
Outbox Done Right in Go: Building Resilient Event-Driven Systems with NATS and SQL
dev.to·1d·
Discuss: DEV
📝Database WAL
A Kevin week
blog.mitrichev.ch·20h·
Discuss: blog.mitrichev.ch
📐Linear Algebra